Beek, Maurice H. Ter: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Synchronizations in Team Automata for Groupware Systems

Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg

Journal:

Computer Supported Cooperative Work (CSCW)

Year:

2003

Language:

english

File:

PDF, 355 KB

english, 2003

2

Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)

Beek, Maurice H. Ter, Loreti, Michele

Journal:

ACM Transactions on Modeling and Computer Simulation

Year:

2018

Language:

english

File:

PDF, 72 KB

english, 2018

3

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 ||

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 18.35 MB

english, 2016

4

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Volume 2 - Modelling and analysis with featured modal contract automata

Basile, Davide, Beek, Maurice H. ter, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 633 KB

english, 2018

5

Assisting the design of a groupware system

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 966 KB

english, 2009

6

Controller synthesis of service contracts with variability

Basile, Davide, ter Beek, Maurice H., Degano, Pierpaolo, Legay, Axel, Ferrari, Gian-Luigi, Gnesi, Stefania, Di Giandomenico, Felicita

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 1.00 MB

2020

7

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 12327 (25th International Conference, FMICS 2020, Vienna, Austria, September 2â3, 2020, Proceedings) ||

ter Beek, Maurice H., NiÄkoviÄ, Dejan

Year:

2020

File:

PDF, 14.54 MB

2020

8

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Product line models of large cyber-physical systems

Beek, Maurice H. ter, Fantechi, Alessandro, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 625 KB

english, 2018

9

A Theory of Distributed Markov Chains

Thiagarajan, P. S., Yang, Shaofa, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 407 KB

2020

10

Formal methods for transport systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 348 KB

english, 2018

11

Comparing Degenerate Strings

Alzamel, Mai, Ayad, Lorraine A.K., Bernardini, Giulia, Grossi, Roberto, Iliopoulos, Costas S., Pisanti, Nadia, Pissis, Solon P., Rosone, Giovanna, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegor

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 299 KB

2020

12

[ACM Press the 19th International Conference - Nashville, Tennessee (2015.07.20-2015.07.24)] Proceedings of the 19th International Conference on Software Product Line - SPLC '15 - Applying the product lines paradigm to the quantitative analysis of collective adaptive systems

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

13

Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering

ter Beek, Maurice H., Clarke, Dave, Schaefer, Ina

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 144 KB

english, 2016

14

Formal methods and automated verification of critical systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 341 KB

english, 2018

15

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 2.70 MB

english, 2016

16

ON COMPETENCE IN CD GRAMMAR SYSTEMS WITH PARALLEL REWRITING

TER BEEK, MAURICE H., CSUHAJ-VARJÚ, ERZSÉBET, VASZIL, GYÖRGY, HOLZER, MARKUS

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 885 KB

english, 2007

17

Automated specification and verification of Web-based applications

ter Beek, Maurice H., Lluch Lafuente, Alberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 157 KB

english, 2017

18

Teams of pushdown automata

Beek, Maurice H. Ter, Csuhaj-Varjú†, Erzsébet, Mitrana‡, Victor

Journal:

International Journal of Computer Mathematics

Year:

2004

Language:

english

File:

PDF, 352 KB

english, 2004

19

Automated verification of programs and Web systems

ter Beek, Maurice H., Lisitsa, Alexei, Nemytykh, Andrei P., Ravara, António

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 155 KB

english, 2016

20

On the expressiveness of modal transition systems with variability constraints

ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 575 KB

english, 2019

21

[Lecture Notes in Computer Science] From Software Engineering to Formal Methods and Tools, and Back Volume 11865 (Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday) ||

ter Beek, Maurice H., Fantechi, Alessandro, Semini, Laura

Year:

2019

Language:

english

File:

PDF, 32.14 MB

english, 2019

22

Discovering Object-centric Petri Nets

van der Aalst, Wil M.P., Berti, Alessandro, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 3.83 MB

2020

23

[IEEE 2011 15th International Software Product Line Conference (SPLC) - Munich, Germany (2011.08.22-2011.08.26)] 2011 15th International Software Product Line Conference - Formal Description of Variability in Product Families

Asirelli, Patrizia, ter Beek, Maurice H., Gnesi, Stefania, Fantechi, Alessandro

Year:

2011

Language:

english

File:

PDF, 837 KB

english, 2011

24

Timed service contract automata

Basile, Davide, ter Beek, Maurice H., Legay, Axel

Journal:

Innovations in Systems and Software Engineering

Year:

2019

Language:

english

File:

PDF, 777 KB

english, 2019

25

Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata

Frei, Fabian, HromkoviÄ, Juraj, KarhumÃ¤ki, Juhani, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 242 KB

2020

26

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks

Arcile, Johan, Devillers, Raymond, Klaudel, Hanna, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 491 KB

2020

27

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 || Workflow Nets Verification: SMT or CLP?

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 1.40 MB

english, 2016

28

Timed service contract automata

Basile, Davide, ter Beek, Maurice H., Legay, Axel

Journal:

Innovations in Systems and Software Engineering

Year:

2019

File:

PDF, 777 KB

2019

29

Companions and an Essential Motion of a Reaction System

Genova, Daniela, Hoogeboom, Hendrik Jan, Jonoska, NataÅ¡a, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 224 KB

2020

30

[IEEE The Third Advanced International Conference on Telecommunications (AICT'07 - Morne, Mauritius (2007.05.13-2007.05.19)] The Third Advanced International Conference on Telecommunications (AICT'07) - Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks

ter Beek, Maurice, Moiso, Corrado, Petrocchi, Marinella

Year:

2007

Language:

english

File:

PDF, 572 KB

english, 2007

31

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 || Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 761 KB

english, 2016

32

On Shuffling a Word with its Letter-to-Letter Substitution

Halava, Vesa, Harju, Tero, Sahla, Esa, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 188 KB

2020

33

Flexible Process Model Mapping using Relaxation Labeling

Carmona, Josep, PadrÃ³, LluÃs, Delicado, Luis, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 588 KB

2020

34

Modularity for teams of I/O automata

Maurice H. ter Beek, Jetty Kleijn

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 142 KB

english, 2005

35

[IEEE 2009 35th Euromicro Conference on Software Engineering and Advanced Applications - Patras, Greece (2009.08.27-2009.08.29)] 2009 35th Euromicro Conference on Software Engineering and Advanced Applications - Dynamic Software Architecture Development: Towards an Automated Process

Beek, Maurice H. Ter, Bucchiarone, Antonio, Gnesi, Stefania

Year:

2009

Language:

english

File:

PDF, 512 KB

english, 2009

36

[Lecture Notes in Computer Science] Architecting Dependable Systems VI Volume 5835 || A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation

de Lemos, Rogério, Fabre, Jean-Charles, Gacek, Cristina, Gadducci, Fabio, ter Beek, Maurice

Year:

2009

Language:

english

File:

PDF, 484 KB

english, 2009

37

L-systems from 3D-imaging of Phenotypes of Arborized Structures

Verbeek, Fons J., Cao, Lu, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 1.16 MB

2020

38

Preface

Maurice ter Beek, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 172 KB

english, 2007

39

A framework for quantitative modeling and analysis of highly (re)configurable systems

Ter Beek, Maurice, Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 2.95 MB

english, 2018

40

Model Checking Publish/Subscribe Notification for thinkteam®

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 444 KB

english, 2005

41

Preface

ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 268 KB

2020

42

[ACM Press the 19th International Conference - Nashville, Tennessee (2015.07.20-2015.07.24)] Proceedings of the 19th International Conference on Software Product Line - SPLC '15 - Using FMC for family-based analysis of software product lines

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco

Year:

2015

Language:

english

File:

PDF, 847 KB

english, 2015

43

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference - volume A - SPLC '19 - Static analysis of featured transition systems

Beek, Maurice H. ter, Damiani, Ferruccio, Lienhardt, Michael, Mazzanti, Franco, Paolini, Luca

Year:

2019

File:

PDF, 1.29 MB

2019

44

Target-oriented Petri Net Synthesis

Best, Eike, Devillers, Raymond, Erofeev, Evgeny, Wimmel, Harro, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 392 KB

2020

45

Stop-transitions of Petri Nets*

Desel, JÃ¶rg, Finthammer, Marc, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 904 KB

2020

46

[IEEE 2006 European Conference on Web Services (ECOWS'06) - Zurich, Switzerland (2006.12.4-2006.12.6)] 2006 European Conference on Web Services (ECOWS'06) - Formal Modelling and Verification of an Asynchronous Extension of SOAP

Ter Beek, Maurice, Gnesi, Stefania, Mazzanti, Franco, Moiso, Corrado

Year:

2006

Language:

english

File:

PDF, 208 KB

english, 2006

47

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference - volume A - SPLC '19 - Static analysis of featured transition systems

Beek, Maurice H. ter, Damiani, Ferruccio, Lienhardt, Michael, Mazzanti, Franco, Paolini, Luca

Year:

2019

Language:

english

File:

PDF, 1.29 MB

english, 2019

48

Algebraic Structure of Step Traces and Interval Traces

Janicki, Ryszard, Mikulski, Åukasz, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 413 KB

2020

49

Multi-valued Verification of Strategic Ability

Jamroga, Wojciech, Konikowska, Beata, Kurpiewski, Damian, Penczek, Wojciech, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 661 KB

2020

50

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14 - Software product line analysis with mCRL2

ter Beek, Maurice H., de Vink, Erik P.

Year:

2014

Language:

english

File:

PDF, 941 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски